Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
811	AutoProof: Auto-active Functional Verification of Object-oriented Programs Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova Chair of Software Engineering, Department of Computer Science, ETH Zurich, Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-01-15 04:33:24 Logic in computer science Object-oriented programming Formal methods Programming paradigms Eiffel Hardware verification languages Java Modeling Language Formal verification Postcondition Software engineering Computing Computer programming
812	Datasheet Formality and Formality Ultra Equivalence Checking for DC Ultra and Design Compiler Graphical Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-18 15:15:30 Formal methods Physical design SystemVerilog Synopsys Formal verification Verilog Formal equivalence checking Signoff Electronic engineering Electronic design automation Hardware description languages
813	C HAPTER 2 Working with Strings Atoms were once thought to be fundamental, elementary building blocks of nature; protons were then thought to be fundamental, then quarks. Now we say the string is fundamental. Add to Reading List Source URL: therubyway.io Language: English String Pattern matching Formal languages Markup languages Here document Comparison of programming languages Delimiter Ruby Regular expression Computing Software engineering Computer programming
814	Parameterized Regular Expressions and Their Languages Pablo Barcel´oa , Juan Reutterb , Leonid Libkinb a Department of Computer Science, University of Chile b Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:09:44 Combinatorics Regular language Symbol String EXPSPACE Model theory Structure Regular expression FO Formal languages Theoretical computer science Mathematics
815	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
816	Noname manuscript No. (will be inserted by the editor) Synchronizing Relations on Words Diego Figueira · Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-26 07:54:43 Computer science Applied mathematics Regular language Tree automaton Complementation of Büchi automaton Ω-automaton Automata theory Formal languages Theoretical computer science
817	Regular Expressions with Binding over Data Words for Querying Graph Databases Leonid Libkin1 , Tony Tan2 , and Domagoj Vrgoˇc1 1 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:12:45 Automata theory Applied mathematics Regular expression FO Structure Formal languages Mathematics Theoretical computer science
818	Synchronizing Relations on Words Diego Figueira and Leonid Libkin University of Edinburgh, UK Abstract While the theory of languages of words is very mature, our understanding of relations on words Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 14:59:36 Mathematics Applied mathematics Regular language Recognizable language Tree automaton Constructible universe Formal languages Automata theory Theoretical computer science
819	In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-03 03:55:11 Logic in computer science Programming language semantics Models of computation Formal methods Procedural programming languages Static single assignment form Denotational semantics Continuation-passing style Statement Software engineering Computing Theoretical computer science
820	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods

UPDATE